$\forall$$r$:rationals. (0 + $r$) = $r$